Lattice theory - PDFSEARCH.IO - Document Search Engine

Lattice theory
Results: 745

#	Item
641	Software Verification Grégoire Sutre LaBRI, University of Bordeaux, CNRS, France Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2008-09-23 03:26:04 Algebra Order theory Algebraic structures Galois connection Constructible universe Lattice Abstract algebra Mathematics Abstract interpretation
642	ARITHMETIC PROPERTIES OF LINEAR ALGEBRAIC GROUPS By ARMAND BOREL Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:28:33 Algebraic groups Algebraic structures Field theory Niels Henrik Abel Algebraic number field Lattice Algebraic torus Field Abelian group Abstract algebra Algebra Lie groups
643	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory
644	Quantum structures in macroscopical reality* D. Aerts, T. Durt, A. A. Grib , B. Van Bogaert and R. R. Zapatrin, Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2010-12-11 22:13:04 Quantum mechanics Quantum measurement Lattice theory Mathematical logic Quantum logic Lattice Constructible universe Complemented lattice Crystal structure Physics Abstract algebra Mathematics
645	J. Expt. Theor. Artif. Intell. ??(2002)1–28 Comparing performance of algorithms for generating concept Add to Reading List Source URL: www.hse.ru Language: English - Date: 2013-02-20 03:52:53 Lattice theory Machine learning Data mining Analysis of algorithms Algorithm Mathematical logic Formal concept analysis Time complexity Computational complexity theory Mathematics Theoretical computer science Applied mathematics
646	Affine Coxeter group W a (A4 ) , Quaternions, and Decagonal Quasicrystals Mehmet Kocaa), Nazife O. Kocab) Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-26 20:01:30 Lie groups Lie algebras Coxeter groups Lattice points Quadratic forms 24-cell Root system Coxeter–Dynkin diagram Dynkin diagram Abstract algebra Geometry Group theory
647	Attilio Cucchieri∗ and Tereza Mendes Instituto de Física de São Carlos, Universidade de São Paulo, Caixa Postal 369, [removed]São Carlos, SP, Brazil Add to Reading List Source URL: pos.sissa.it Language: English - Date: 2007-10-01 18:18:48 Particle physics Quantum chromodynamics Lattice QCD Lattice gauge theory Propagator Yang–Mills theory Gauge fixing Lattice field theory Renormalization Physics Quantum field theory Lattice models
648	Notes on Forcing Judith Roitman May 13, 2010 Add to Reading List Source URL: www.math.ku.edu Language: English - Date: 2010-05-13 11:58:51 Set theory Constructible universe Rasiowa–Sikorski lemma Ordinal number Order topology Congruence lattice problem Mathematics Mathematical logic Forcing
649	MSC2000 MSC2000 The following mathematics subject classification, MSC2000, is the revision of Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-08-16 13:31:25 Algebraic structures Lattice theory Mathematical structures Ring theory Algebras Representation theory Universal algebra Algebraic geometry Von Neumann algebra Abstract algebra Algebra Mathematics
650	Contemporary Mathematics Metric graph theory and geometry: a survey Add to Reading List Source URL: pageperso.lif.univ-mrs.fr Language: English - Date: 2008-01-09 11:03:53 Lattice theory Median graph Phylogenetics Social choice theory Graph Distance-hereditary graph Simplex graph Tree Clique Graph theory Graph operations Algebraic graph theory

UPDATE